mathematical proof 예문

• His main work involved applying philosophy to mathematics, the philosophy taking precedence over rigorous mathematical proofs.
  그의 주요 작품 수학과 철학을 적용, 철학은 엄격한 수학적 교정 우선 참여.
• Cryptography is the branch of mathematics that lets us create mathematical proofs that provide high levels of security .
  암호 작성술은 고급 수준의 보안을 제공하는 수학적 증명 을 생성할 수 있도록 해 주는 수학의 한 부류입니다.
• He received his doctorate in 1804 writing a thesis giving his view of mathematics, and what constitutes a correct mathematical proof.
  그는 1804 년 논문의 수학 박사 학위를받은 그의 관점을 쓰고, 어떤 정확한 수학적 증거가된다.
• Hobbes claimed that the algebraic symbols could denote different things such as lines, surfaces or volumes, and therefore were unreliable in mathematical proofs.
  홉스는 대수적 기호 라인과 같은 표면이나 볼륨, 따라서 교정에서 수학했다 신뢰할 수있는 다른 것들을 나타내기 주장했다.
• This faith in the indubitable certainty of mathematical proofs was sadly shaken around 1900 by the discovery of the antinomies or paradoxes of set theory.
  수학 교정의 의심할 여지가 확실한 믿음을 슬프게 이것은 1900 주변 antinomies 설정하거나 이론의 모순의 발견에 의해 흥분했다.
• I've covered the "Them" argument before in my Reductionism article, where I defeated it with a simple mathematical proof: show one individual not in the set of "THEM."
  우리는 항상 '그들의 문제를 가졌다 내 안에 전에 "그들"인자를 적용했습니다 Reductionism의 전 간단한 수학적 증명으로 패배 기사 : ".
• The second is that all mathematical proofs can be recast as logical proofs or, in other words, that the theorems of mathematics constitute a proper subset of those of logic.
  두 번째는 모든 수학적 논리적인 증거로서 증거 또는 개주물 수있습니다, 다른 말로하면, 그것이 수학의 이러한 논리가 성립 theorems의 적절한 하위 집합입니다.
• Of course physical insight does not always lead to immediately rigorous mathematical proofs but it frequently leads one in the right direction, and technically correct proofs can then hopefully be found.
  물론 물리적인 통찰력을 항상 즉시 엄격한 수학적 증거로 이어질하지 않지만 그것을 자주 오른쪽 방향으로, 그리고 기술적으로 정확한 증거를 찾을 수있습니다 다음 아마두요 하나이다.
• Bitcoin wallets keep a secret piece of data called a private key or seed, which is used to sign transactions, providing a mathematical proof that they have come from the owner of the wallet.
  비트코인 지갑들은 개인 키 또는 씨드라고 하는 비밀정보를 가지고 있습니다. 거래를 승인하는데 사용되는 이 정보는 지갑의 소유주가 거래에 서명했다는 수학적인 증거입니다.
• At Jena the professor of mathematics was Erhard Weigel but Weigel was also a philosopher and through him Leibniz began to understand the importance of the method of mathematical proof for subjects such as logic and philosophy.
  논리와 철학 등의 과목에 대한 증거의 수학적 방법의 중요성을 이해하기 시작 예나 수학 교수 위젤 Erhard 위젤하지만 또한 철학자이자 통해 그를 Leibniz이었다.